WordReference Random House Unabridged Dictionary of American English © 2025
func′tional cal′culus,
- Mathematics, Philosophythe branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called predicate calculus, predicate logic.
- 1930–35
'functional calculus' also found in these entries (note: many are not synonyms or translations):